PuLSE-I: Deriving instances from a product line infrastructure

Reusing assets during application engineering promises to improve the efficiency of systems development. However, in order to benefit from reusable assets, application engineering processes must incorporate when and how to use the reusable assets during single system development. However, when and how to use a reusable asset depends on what types of reusable assets have been created.Product line engineering approaches produce a reusable infrastructure for a set of products. In this paper, we present the application engineering process associated with the PuLSE product line software engineering method - PuLSE-I. PuLSE-I details how single systems can be built efficiently from the reusable product line infrastructure built during the other PuLSE activities

Towards a method for rigorous development of generic requirements patterns

We present work in progress on a method for the engineering, validation and verification of generic requirements using domain engineering and formal methods. The need to develop a generic requirement set for subsequent system instantiation is complicated by the addition of the high levels of verification demanded by safety-critical domains such as avionics. Our chosen application domain is the failure detection and management function for engine control systems: here generic requirements drive a software product line of target systems. A pilot formal specification and design exercise is undertaken on a small (twosensor) system element. This exercise has a number of aims: to support the domain analysis, to gain a view of appropriate design abstractions, for a B novice to gain experience in the B method and tools, and to evaluate the usability and utility of that method.We also present a prototype method for the production and verification of a generic requirement set in our UML-based formal notation, UML-B, and tooling developed in support. The formal verification both of the structural generic requirement set, and of a particular application, is achieved via translation to the formal specification language, B, using our U2B and ProB tools

Electron Loss from 1.4-MeV / u U\u3csup\u3e4,6,10+\u3c/sup\u3e Ions Colliding with Ne, N₂, and Ar Targets

Absolute, total, single- and multiple-electron-loss cross sections are measured for 1.4-MeV / u U4,6,10+ ions colliding with neon and argon atoms and nitrogen molecules. It is found that the cross sections all have the same dependence on the number of electrons lost and that multiplying the cross sections by the initial number of electrons in the 6s, 6p, and 5f shells yields good agreement between the different projectiles. By combining the present data with previous measurements made at the same velocity, it is shown that the scaled cross sections slowly decrease in magnitude for incoming charge states between 1 and 10, whereas the cross sections for higher-charge-state ions fall off much more rapidly

Relativistic quantum dynamics in strong fields: Photon emission from heavy, few-electron ions

Recent progress in the study of the photon emission from highly-charged heavy ions is reviewed. These investigations show that high-$Z$ ions provide a unique tool for improving the understanding of the electron-electron and electron-photon interaction in the presence of strong fields. Apart from the bound-state transitions, which are accurately described in the framework of Quantum Electrodynamics, much information has been obtained also from the radiative capture of (quasi-) free electrons by high-$Z$ ions. Many features in the observed spectra hereby confirm the inherently relativistic behavior of even the simplest compound quantum systems in Nature.Comment: Version 18/11/0

Effect of Antihypertensive Therapy with Alpha Methyldopa on Levels of Angiogenic Factors in Pregnancies with Hypertensive Disorders

Antihypertensive drugs are believed to lower blood pressure in pre-eclampsia by direct or central vasodilatory mechanisms. However, they could also act by decreasing production of anti-angiogenic proteins involved in the pathophysiology of hypertension and proteinuria in pre-eclampsia (PE). The aim of our study was to evaluate the impact of antihypertensive therapy with alpha methyldopa on maternal circulating levels and placental production of soluble fms-like tyrosine kinase 1 (sFlt-1), soluble endoglin (sEng), vascular endothelial growth factor (VEGF) and placental growth factor (PlGF) in hypertensive disorders of pregnancy

The Airway Microbiota in Cystic Fibrosis: A Complex Fungal and Bacterial Community—Implications for Therapeutic Management

International audienceBackground Given the polymicrobial nature of pulmonary infections in patients with cystic fibrosis (CF), it is essential to enhance our knowledge on the composition of the microbial community to improve patient management. In this study, we developed a pyrosequencing approach to extensively explore the diversity and dynamics of fungal and prokaryotic populations in CF lower airways. Methodology and Principal Findings Fungi and bacteria diversity in eight sputum samples collected from four adult CF patients was investigated using conventional microbiological culturing and high-throughput pyrosequencing approach targeting the ITS2 locus and the 16S rDNA gene. The unveiled microbial community structure was compared to the clinical profile of the CF patients. Pyrosequencing confirmed recently reported bacterial diversity and observed complex fungal communities, in which more than 60% of the species or genera were not detected by cultures. Strikingly, the diversity and species richness of fungal and bacterial communities was significantly lower in patients with decreased lung function and poor clinical status. Values of Chao1 richness estimator were statistically correlated with values of the Shwachman-Kulczycki score, body mass index, forced vital capacity, and forced expiratory volume in 1 s (p = 0.046, 0.047, 0.004, and 0.001, respectively for fungal Chao1 indices, and p = 0.010, 0.047, 0.002, and 0.0003, respectively for bacterial Chao1 values). Phylogenetic analysis showed high molecular diversities at the sub-species level for the main fungal and bacterial taxa identified in the present study. Anaerobes were isolated with Pseudomonas aeruginosa, which was more likely to be observed in association with Candida albicans than with Aspergillus fumigatus

An Incremental Transition Strategy is Key to a Successful Introduction of Product Line Engineering

The motivation for almost every technology transfer project is an organization's problem or goal. Software reuse is a discipline that is a promising candidate for improvement activities in case of many problems software organizations typically have. Nevertheless software reuse - and also product line engineering as one orientation towards reuse - is only one of many fields in which an organization can improve. Consequently, product line engineering must compete before any transfer project with alternative approaches. Unfortunately, most of the existing product line engineering methods ignore this competition so that data is missing that helps arguing for product line engineering in this competition. In this paper we describe how strategies for transitioning towards product line engineering can be defined. We think that their clear definitions in conjunction with accompanying measurement programs are the basis for monitoring the transfer projects themselves, as well as sharing comparable data on product line transfer in the research community